g:IMonoid, a, b:
.
(a
b) 
(E:({a..b
}
|g|), k:. (
a j < b. E(j)) = ( a+k j < b+k. E(j - k)) 
|g|) | 13,42 |
g:IMonoid, a, b:.
b) (E:({a..b}|g|), k:. ( a j < b. E(j)) = ( a+k j < b+k. E(j - k)) |g|)
| Up | |
| Definitions of Statement | lb i < ub. E(i) |
| Definitions | lb i < ub. E(i) |
| Lemmas |